Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
GoAt: Attribute-Based Interaction in Google Go
2018-01-01 Abd Alrahman, Yehia; DE NICOLA, Rocco; Garbi, Giulio
Guaranteed error bounds on approximate model abstractions through reachability analysis
2018-01-01 Cardelli, L.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Inferring unusual crowd events from mobile phone call detail records
2015-01-01 Dong, Y.; Pinelli, F.; Gkoufas, Y.; Nabi, Z.; Calabrese, F.; Chawla, N. V.
Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems
2005-01-01 Lazar, M.; Heemels, M.; Weiland, S.; Bemporad, A.; Pastravanu, O.
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
2023-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository
2019-01-01 Perez-Verona Isabel, Cristina.; Tribastone, M.; Vandin, A.
A logic-inspired approach to reconfigurable system modelling
2019-01-01 Maggi, A.; De Nicola, R.; Sifakis, J.
Lumpability for Uncertain Continuous-Time Markov Chains
2021-01-01 Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Machine Learning Application to Family Business Status Classification
2020-01-01 Gnecco, G.; Amato, S.; Patuelli, A.; Lattanzi, N.
Matrix Completion for the Prediction of Yearly Country and Industry-Level CO2 Emissions
2023-01-01 Biancalani, F.; Gnecco, G.; Metulini, R.; Riccaboni, M.
The Meaning of Adaptation: Mastering the Unforeseen?
2018-01-01 Jahnichen, Stefan; DE NICOLA, Rocco; Wirsing, Martin
A Minimal Core Calculus for Solidity Contracts
2019-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
Modelling Flocks of Birds from the Bottom Up
2022-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols
2020-01-01 Sinigaglia, F.; Carbone, R.; Costa, G.; Ranise, S.
Multi-agent systems with virtual stigmergy
2018-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar
Process Algebras and Flocks of Birds
2022-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Quantitative abstractions for collective adaptive systems
2016-01-01 Vandin, A.; Tribastone, M.
Reducing Boolean Networks with Backward Boolean Equivalence
2021-01-01 Argyris, G.; Lluch Lafuente, A.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Revealing the trajectories of KLAIM tuples, statically
2019-01-01 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition
2022-01-01 Wirsing, M.; De Nicola, R.; Jahnichen, S.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
GoAt: Attribute-Based Interaction in Google Go | 1-gen-2018 | Abd Alrahman, Yehia; DE NICOLA, Rocco; Garbi, Giulio | |
Guaranteed error bounds on approximate model abstractions through reachability analysis | 1-gen-2018 | Cardelli, L.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
Inferring unusual crowd events from mobile phone call detail records | 1-gen-2015 | Dong, Y.; Pinelli, F.; Gkoufas, Y.; Nabi, Z.; Calabrese, F.; Chawla, N. V. | |
Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems | 1-gen-2005 | Lazar, M.; Heemels, M.; Weiland, S.; Bemporad, A.; Pastravanu, O. | |
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants | 1-gen-2023 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository | 1-gen-2019 | Perez-Verona Isabel, Cristina.; Tribastone, M.; Vandin, A. | |
A logic-inspired approach to reconfigurable system modelling | 1-gen-2019 | Maggi, A.; De Nicola, R.; Sifakis, J. | |
Lumpability for Uncertain Continuous-Time Markov Chains | 1-gen-2021 | Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
Machine Learning Application to Family Business Status Classification | 1-gen-2020 | Gnecco, G.; Amato, S.; Patuelli, A.; Lattanzi, N. | |
Matrix Completion for the Prediction of Yearly Country and Industry-Level CO2 Emissions | 1-gen-2023 | Biancalani, F.; Gnecco, G.; Metulini, R.; Riccaboni, M. | |
The Meaning of Adaptation: Mastering the Unforeseen? | 1-gen-2018 | Jahnichen, Stefan; DE NICOLA, Rocco; Wirsing, Martin | |
A Minimal Core Calculus for Solidity Contracts | 1-gen-2019 | Bartoletti, M.; Galletta, L.; Murgia, M. | |
Modelling Flocks of Birds from the Bottom Up | 1-gen-2022 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols | 1-gen-2020 | Sinigaglia, F.; Carbone, R.; Costa, G.; Ranise, S. | |
Multi-agent systems with virtual stigmergy | 1-gen-2018 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar | |
Process Algebras and Flocks of Birds | 1-gen-2022 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
Quantitative abstractions for collective adaptive systems | 1-gen-2016 | Vandin, A.; Tribastone, M. | |
Reducing Boolean Networks with Backward Boolean Equivalence | 1-gen-2021 | Argyris, G.; Lluch Lafuente, A.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
Revealing the trajectories of KLAIM tuples, statically | 1-gen-2019 | Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L. | |
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition | 1-gen-2022 | Wirsing, M.; De Nicola, R.; Jahnichen, S. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile